es\_vartype(${\it es}$; $i$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rationals$\rightarrow$es{-}T(${\it es}$)($i$,$x$)